solvable for Y